（来源：上观新闻）
中游是Cur⚪sor、Win🍴dsur🇲🇺💾f这些编🅱程工具公司🇳🇿，负责把🇮🇳模型包装成开发🌚者用着顺手的产🇹🇰品，下游🇮🇷是几千万开🖍⤵发者和几十🥉⛹万家企👨⚖️🇳🇬业，是最终掏钱🇦🇬🥤的人🇨🇩。不过我🏂🇵🇷更想说，探索🐅欲和好奇心，也是🕰🙆啪啪啪福利导航非常重要的🍰。
他们正将其💁♂️应用于软件开发🤾♀️生命周期中的各🏍🧖♀️项任务👱♀️🕕。Rom👨🦳🎎ain🤳🎢：我们从一开🏊♀️始就坚信❤，未来的编程会走📛🇲🇿向智能体🇺🇦🚺委派模式🇮🇳。那么，如何在绝🇰🇮🐼对严谨与工😔🤲程可用之间取🏑得平衡呢？FM-🌫🙁Agent 的基🇨🇱👨🚒本思路是：先分析⏬🌱 LLM 🇳🇿🈺擅长什么，然后🍤🐡将其与传统形☦式化验证流程进行👣🤱对照，判断哪些步🍾骤可以适当放宽🇫🇴🇵🇷对“绝对严🇧🇴谨”的要求🗓，从而换取“😜工程可用”✊。
